package controle;
import javax.swing.JOptionPane;

import logica.CalculoProposicional;
import logica.CalculoProposicional.Formula;


public class Main {

	public static final String 
		versao = "versão alfa 10";
	
	/**
	 * @param args
	 */
	public static void main(String[] args) {
		
		String expressao;
		Formula f;
		do
		{
			expressao = JOptionPane.showInputDialog(null, "Entre com a formula", "Caqui "+versao, JOptionPane.INFORMATION_MESSAGE);
			if(expressao == null) 
				break;
			if(expressao.trim().equals(""))
			{
				JOptionPane.showMessageDialog(null, "Campo vazio! Digite uma formula", "Campo vazio", JOptionPane.WARNING_MESSAGE);
				continue;
			}
			try{
				System.out.println("tentando a expressao \""+expressao+"\"...");
				f = CalculoProposicional.PADRAO.new Formula(expressao.trim());
				System.out.println(f.toString());
				JOptionPane.showMessageDialog(null,"O interpretador reconheceu a expressao \""+expressao+"\" com sucesso!", "Sucesso!", JOptionPane.INFORMATION_MESSAGE);
			}
			catch(Exception e)
			{
				JOptionPane.showMessageDialog(null, e.getMessage()+"\n Tente novamente!", "Erro!", JOptionPane.ERROR_MESSAGE);
			}
			
		}
		while(true);

	}

}
